defconfig:
Turn off Xenolinux debugging by default.
#
# Kernel hacking
#
-CONFIG_DEBUG_KERNEL=y
-CONFIG_DEBUG_HIGHMEM=y
-CONFIG_DEBUG_SLAB=y
-CONFIG_DEBUG_IOVIRT=y
+# CONFIG_DEBUG_KERNEL is not set
+# CONFIG_DEBUG_HIGHMEM is not set
+# CONFIG_DEBUG_SLAB is not set
+# CONFIG_DEBUG_IOVIRT is not set
# CONFIG_MAGIC_SYSRQ is not set
-CONFIG_DEBUG_SPINLOCK=y
-CONFIG_DEBUG_BUGVERBOSE=y
+# CONFIG_DEBUG_SPINLOCK is not set
+# CONFIG_DEBUG_BUGVERBOSE is not set
# CONFIG_KDB is not set
CONFIG_KALLSYMS=y
-CONFIG_FRAME_POINTER=y
+# CONFIG_FRAME_POINTER is not set